Approximate model reduction for the di erential semantics of rule-based models
نویسنده
چکیده
Course: M2-6: Abstract interpretation: application to verication and static analysis Note: Other internships are possible on the topic of static analysis, abstract interpretation , and applications to Systems Biology. Please contact the internship supervisor for more information.
منابع مشابه
Di erential Linear Logic and Polarization
We extend Ehrhard Regnier's di erential linear logic along the lines of Laurent's polarization. We provide a denotational semantics of this new system in the well-known relational model of linear logic, extending canonically the semantics of both di erential and polarized linear logics: this justi es our choice of cut elimination rules. Then we show this polarized di erential linear logic re ne...
متن کاملFormal Reduction for Rule-based Models
Molecular biological models usually su er from a large combinatorial explosion. Indeed, proteins form complexes and modify each others, which leads to the formation of a huge number of distinct chemical species (i.e. non-isomorphic connected components of proteins). Thus we cannot generate explicitly the quantitative semantics of these models, and even less compute their properties. In this pap...
متن کاملNumerical Solution of fuzzy differential equations of nth-order by Adams-Bashforth method
So far, many methods have been presented to solve the rst-order di erential equations. But, not many studies have been conducted for numerical solution of high-order fuzzy di erential equations. In this research, First, the equation by reducing time, we transform the rst-order equation. Then we have applied Adams-Bashforth multi-step methods for the initial approximation of one order di erentia...
متن کاملNumerical solution of the system of Volterra integral equations of the first kind
This paper presents a comparison between variational iteration method (VIM) and modfied variational iteration method (MVIM) for approximate solution a system of Volterra integral equation of the first kind. We convert a system of Volterra integral equations to a system of Volterra integro-di®erential equations that use VIM and MVIM to approximate solution of this system and hence obtain an appr...
متن کاملAction Systems with Continuous Behaviour
An action system framework is a predicate transformer based method for modelling and analysing distributed and reactive systems. The actions are statements in Dijkstra's guarded command language, and their semantics is given by predicate transformers. We extend conventional action systems with a di erential action consisting of a di erential equation and an evolution guard. The semantics is giv...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015